Natural computation - PDFSEARCH.IO - Document Search Engine

Natural computation
Results: 158

#	Item
61	SmartSynth: Synthesizing Smartphone Automation Scripts from Natural Language Vu Le Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-07-17 03:13:18 Visual programming languages Software engineering Computer data Dataflow Natural language processing Futures and promises Computing Computer architecture Models of computation
62	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
63	JOURNAL OF LATEX CLASS FILES, VOL. X, NO. X, MONTH 20XX A PPENDIX A I MPLEMENTATION D ETAILS AND S OFTWARE AVAILABILITY A.1 FG-EA Details Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2012-06-28 00:31:06 Artificial intelligence Genetic programming Evolutionary computation Mutation Crossover Natural selection Genetic operator Fitness Selection Genetic algorithms Applied mathematics Science
64	Document Clustering using Word Clusters via the Information Bottleneck Method Noam Slonim and Naftali Tishby School of Computer Science and Engineering and The Interdisciplinary Center for Neural Computation The Hebrew U Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2003-04-20 20:18:06 Cluster analysis Computational linguistics Information retrieval Information bottleneck method Hierarchical clustering Document clustering Single-linkage clustering Word-sense disambiguation Vector space model Statistics Natural language processing Multivariate statistics
65	Computation of h+ with Factored Planning Master Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-08-30 10:23:41 Applied mathematics Heuristics Combinatorial optimization Routing algorithms Theoretical computer science Heuristic function A* search algorithm Automated planning and scheduling Algorithm Mathematics Artificial intelligence Search algorithms
66	An algorithm for computing bisimulations in planning Bachelor Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Heuristics Computer science Bisimulation Logic in computer science Models of computation Algorithm A* search algorithm State transition system Search algorithm Theoretical computer science Applied mathematics Mathematics
67	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
68	Membrane systems as a rule based modelling framework for multi-compartmental stochastic and discrete systems Agustín Riscos-Núñez Research Group on Natural Computing Department of Computer Science and Artificial Intel Add to Reading List Source URL: www.math.utu.fi Language: English - Date: 2014-10-07 08:49:24 Applied mathematics Ethology Membrane computing Computer simulation Natural computing P system Simulation Scientific modelling Models of computation Scientific modeling Science
69	CrowdForge: Crowdsourcing Complex Work Aniket Kittur Boris Smus Susheel Khamkar Add to Reading List Source URL: smus.com Language: English - Date: 2013-05-03 15:05:08 Technology Science Amazon Mechanical Turk Human-based computation Web 2.0 Time management CrowdFlower Natural language processing Division of labour Crowdsourcing Social information processing Computing
70	Computational Complexity in Membrane Systems Mario J. P´erez–Jim´enez Research Group on Natural Computing Dpt. of Computer Science and Artificial Intelligence University of Seville, Spain Add to Reading List Source URL: www.math.utu.fi Language: English - Date: 2014-10-07 08:49:23 Computability theory Theory of computation Computational complexity theory Models of computation Complexity classes Decision problem Church–Turing thesis Computability P Theoretical computer science Applied mathematics Computer science

UPDATE